(define a (lambda (lambda) (lambda lambda lambda)))
(define b (lambda (x)
	    ((lambda (lambda) (lambda lambda lambda))
	     (lambda (y) (lambda (z) z)))))
